home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 17 / Developer Source Volume 17 (I-MODE Publications, Inc.)(2000).iso / visua / 861 / andrf104.gif < prev    next >
Graphics Interchange Format  |  1998-10-01  |  21.1 KB  |  395x217  |  4-bit (16 colors)
   ocr: Namill OMo Ewcighiin AseRHNs uE Van Adig sama MO Eatpsny 589101 sicaute Tradospss: 5308ETOCHILUPSGHDTadiTge-Tads EONPI - ssan N 890139633010C03EERAECU.NICOU: au teaut Trsderse * TrAdETYEA ssed EUEMMOUTEE veout 8Es5 oie Figure 4: Adding post-condition assertions.